void mainLoop(int allowSystemMenu);
